FDL - Nuprl Definition : K-sem-sat

Nuprl Definition : K-sem-sat

11,40

kpr |= X ==

s:Sem. (K-sem(S;equiv)(kpr,s))

(X(s))

clarification:

K-sem-sat(Sem;equiv;S;kpr;X) ==

s:Sem. (K-sem(S;equiv)(kpr,s))

(X(s))

Definitions x:A. B(x), P Q, K-sem(S;equiv)

FDL editor aliases K-sem-sat

Definitions	x:A. B(x), P Q, K-sem(S;equiv)
FDL editor aliases	K-sem-sat